Struct isotope::ctx::eval::Reduce [−][src]
pub struct Reduce<E, C> { pub eval_ctx: E, pub cfg: C, }
Expand description
Add reduction to an evaluation context
Fields
eval_ctx: E
The underlying evaluation context
cfg: C
This reduction’s configuration
Implementations
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Attempt to substitute an entire term. Return None
if substitution should proceed recursively instead.
Substutite a variable, with an optional un-substituted annotation, adding the annotation as a constraint. Read more
Substutite a variable, with an optional un-substituted annotation. Does not add the annotation as a constraint. Read more
Push a parameter onto this context with an optional annotation, returning the annotation substitution, if any
Check whether this context can potentially make any changes to a term with the given filter
Get the underlying consing context
Get the underlying equality context
Push a parameter onto the underlying context with an optional annotation
Whether no variables are substituted by this context
Auto Trait Implementations
impl<E, C> RefUnwindSafe for Reduce<E, C> where
C: RefUnwindSafe,
E: RefUnwindSafe,
impl<E, C> UnwindSafe for Reduce<E, C> where
C: UnwindSafe,
E: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.